|
|
Support for NUMA hardware in HelenOS
Horký, Vojtěch ; Děcký, Martin (advisor) ; Libič, Peter (referee)
The goal of this master thesis is to extend HelenOS operating system with the support for ccNUMA hardware. The text of the thesis contains a brief introduction to ccNUMA hardware, an overview of NUMA features and relevant features of HelenOS (memory management, scheduling, etc.). The thesis analyses various design decisions of the implementation of NUMA support -- introducing the hardware topology into the kernel data structures, propagating this information to user space, thread affinity to cores and nodes, memory allocation policies, load balancing, etc. The thesis also contains a prototype implementation of ccNUMA support in HelenOS for the AMD64 platform and a brief evaluation and comparison with ccNUMA support in other monolithic and microkernel-based operating systems.
|
|
|
Read-Copy-Update for HelenOS
Hraška, Adam ; Děcký, Martin (advisor) ; Podzimek, Andrej (referee)
Multicore processors have become prevalent and spurred interest in scalable synchronization mechanisms, such as Read-Copy Update. While RCU is popular in monolithic operating system kernels it has yet to see an implementation in a microkernel environment. In this thesis we design and implement RCU for the microkernel operating system HelenOS. Moreover, we explore potential uses of RCU in HelenOS and illustrate its utility in both the kernel and user space. Benchmarks demonstrate that the RCU implementation provides linearly scalable read-sides and incurs significantly less overhead than traditional locking even if uncontended. Furthermore, RCU was used in user space to speed up traditional locking 2.6 times in the common case. In the kernel, RCU ensured linear scalability of a previously non-scalable futex subsystem. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS port to Xen hypervisor
Benhák, Tomáš ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
The goal of the master thesis is the paravirtualization of HelenOS operating system for Xen hypervisor on IA-32. The result of the thesis is a prototype implementation which allows to run HelenOS as a PV guest under Xen hypervisor. The thesis analyses the Xen hypervisor interface with respect to the paravirtualized operating system running under it, the relevant parts of HelenOS kernel and changes in them forced by the paravirtualization.
|
|
|
IEEE 802.11 wireless networking for HelenOS
Kolárik, Jan ; Děcký, Martin (advisor) ; Mareš, Martin (referee)
IEEE 802.11 (a.k.a. WiFi) is a popular wireless LAN specification. This thesis documents implementation of this standard within the experimental operating system HelenOS which differs from conventional operating systems with its microkernel-based design. First, the basic concepts of WiFi technology are described. Description of external tools used during development is following. Together with that, the chosen method of integrating the wireless framework into existing system is depicted. In the next chapter we analyse the implementation details of the work. There is thoroughly explained the structure of the driver for selected WiFi device and also the functionality of resulting IEEE 802.11 library. In the end of the thesis there is an evaluation of the features of final work and comparison of enclosed implementation with existing solutions.
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
This master thesis deals with the implementation of a connector between FUSE file system drivers and HelenOS native VFS interface. The thesis first describes the way of finding the best solution and the potential possibilities. The low level layer solution is described as the best one. Further the thesis describes the real implementation of the connector. As the implementation of the connector was successful the thesis then describes in detail the parts of the fully functional solution in real-life HelenOS system. With this solution in place almost no changes are necessary to be done neither in FUSE nor in Helenos VFS. The connector implementation is demonstrated on two real-life FUSE file systems exFAT and NTFS which were ported to HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín
This thesis extends HelenOS operating system in order to be IPv6 capa- ble. New IPv6 protocol implementation is on the same level as previous IPv4 protocol implementation. HelenOS networking stack now offers three modes of networking: IPv4-only, IPv6-only and dual stack mode. Dual stack mode enables usage of both protocols at once. The thesis describes previous state of HelenOS networking stack, analyzes differences between IPv4 and IPv6 protocols and gives reasons for single strategic decisions. In fine, it describes used implementation and debugging techniques, concludes results and compares HelenOS with other microkernel operating system from the IPv6-capability perspective. 1
|
|
|
HelenOS routing and porting of BIRD
Gálfy, Stanislav ; Děcký, Martin (advisor) ; Mareš, Martin (referee)
Capability to route can be considered as one of the key features of a modern multipurpose operating system, which HelenOS aims to be. The goal of this master thesis is to explore current HelenOS routing capabilities, enhance them and empower HelenOS with BIRD. HelenOS will become a routing operating system with awareness of its surroundings. It will be capable of dynamic adaptation to changes in the network and their propagation.
|
|
|
HelenOS routing and porting of BIRD
Gálfy, Stanislav ; Děcký, Martin (advisor) ; Mareš, Martin (referee)
Capability to route can be considered one of key features of modern multipurpose operating system, which HelenOS aims to be. Goal of this master thesis is to explore current HelenOS routing capabilities, enhance them and empower HelenOS with BIRD. Thanks to BIRD, HelenOS will become a routing operating system, that is aware of its surroundings and is capable of dynamic adaptation to changes in network, it is part of.
|
|
|
HelenOS packet filter
Buchar, Jan ; Děcký, Martin (advisor) ; Horký, Vojtěch (referee)
Packet filtering is an essential feature of any operating system that aims to function as a network router or gateway. This thesis aims to extend the HelenOS operating system to support this functionality. We analyze packet filters present in modern operating systems and implement a HelenOS service that provides a configurable and extendable packet filter. We also modify the HelenOS networking stack so that it allows an arbitrary service to function as a packet filter. We demonstrate the extendability of our implementation on a basic variant of the NAT mechanism. Powered by TCPDF (www.tcpdf.org)
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (advisor) ; Döbel, Björn (referee) ; Sojka, Michal (referee)
This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of general-purpose operating systems that would support state-of-the-art approaches and methods (such as verification of correctness) while at the same time focusing on practical relevance. The text of the thesis describes what specific means in terms of design (based on software components), implementation, development process and verification are used to achieve the primary goal. The thesis also evaluates the current state of HelenOS. Powered by TCPDF (www.tcpdf.org)
|
guest ::
